24.46/30.36	unsat
