46.29/47.06	unsat
