5.01/6.34	unsat
