48.11/49.06	unsat
