25.19/28.86	unsat
