6.27/6.37	unsat
