6.26/6.34	unsat
