3.48/5.83	unsat
