4.27/5.63	unsat
