6.27/7.32	unsat
