4.96/5.07	unsat
