24.26/25.14	unsat
