26.34/28.71	unsat
