26.03/29.61	unsat
