24.84/26.95	unsat
