7.26/7.33	unsat
