4.96/5.03	unsat
