24.81/25.12	unsat
