48.89/49.06	unsat
