4.48/5.86	unsat
