4.97/5.07	unsat
