3.94/9.54	unsat
