1.29/3.63	unsat
