26.66/28.43	unsat
