4.87/5.07	unsat
