25.14/28.39	unsat
