24.46/29.91	unsat
