4.48/6.94	unsat
