24.95/28.07	unsat
