4.93/5.03	unsat
