4.88/5.03	unsat
