26.64/31.07	unsat
