28.92/29.06	unsat
