2.46/3.63	unsat
