23.25/24.14	unsat
