25.16/27.62	unsat
