4.91/5.07	unsat
