25.15/28.77	unsat
