4.14/7.61	unsat
