5.14/6.34	unsat
