26.64/28.11	unsat
