5.37/6.94	unsat
