48.84/49.06	unsat
