26.62/28.21	unsat
