24.76/28.14	unsat
