4.68/5.07	unsat
