24.34/24.41	unsat
