29.22/31.07	unsat
