26.15/29.01	unsat
