5.29/6.90	unsat
