26.62/26.71	unsat
