3.87/5.63	unsat
