26.43/29.33	unsat
