26.23/28.49	unsat
