4.89/4.96	unsat
