3.68/5.34	unsat
