4.28/5.86	unsat
