25.94/40.96	unsat
