20.57/24.14	unsat
