23.95/25.04	unsat
