4.98/5.07	unsat
