26.84/29.07	unsat
