26.44/29.16	unsat
